大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Machine Oriented Higher Level Languages 的图书(共7197本)

Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

0
索取号：
作者：Gupta、 Aarti.、Malik、 Sharad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings

0
索取号：
作者：Zamboni、 Diego.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computers Helping People with Special Needs [electronic resource] : 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings

0
索取号：
作者：Miesenberger、 Klaus.、Klaus、 Joachim.、Zagler、 Wolfgang.、Karshmer、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号：
作者：Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Articulated Motion and Deformable Objects [electronic resource] : 5th International Conference, AMDO 2008, Port d鈥橝ndratx, Mallorca, Spain, July 9-11, 2008. Proceedings

0
索取号：
作者：Perales、 Francisco J.、Fisher、 Robert B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Sharing Data, Information and Knowledge [electronic resource] : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings

0
索取号：
作者：Gray、 Alex.、Jeffery、 Keith.、Shao、 Jianhua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Security and Privacy [electronic resource] : 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings

0
索取号：
作者：Mu、 Yi.、Susilo、 Willy.、Seberry、 Jennifer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2006 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Austrian Society of Operations Research (脰GOR) and the Swiss Society of Operations Research (SVOR) Karlsruhe, September 6鈥謠2006

0
索取号：
作者：Waldmann、 Karl-Heinz.、Stocker、 Ulrike M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Z眉rich, Switzerland, July 1-2, 2008 Proceedings

0
索取号：
作者：Vallecillo、 Antonio.、Gray、 Jeff.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Informatics Education - Supporting Computational Thinking [electronic resource] : Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings

0
索取号：
作者：Mittermeir、 Roland T.、Sys艂o、 Maciej M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Smart Homes and Health Telematics [electronic resource] : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

0
索取号：
作者：Helal、 Sumi.、Mitra、 Simanta.、Wong、 Johnny.、Chang、 Carl K.、Mokhtari、 Mounir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

0
索取号：
作者：Freksa、 Christian.、Kohlhase、 Michael.、Schill、 Kerstin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Image and Signal Processing [electronic resource] : 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings

0
索取号：
作者：Elmoataz、 Abderrahim.、Lezoray、 Olivier.、Nouboud、 Fathallah.、Mammass、 Driss.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers

0
索取号：
作者：Washio、 Takashi.、Satoh、 Ken.、Takeda、 Hideaki.、Inokuchi、 Akihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Nanoscale Magnetism [electronic resource] : Proceedings of the International Conference on Nanoscale Magnetism ICNM-2007 June 25鈥⹬ Istanbul, Turkey

0
索取号：
作者：Aktas、 Bekir.、Mikailov、 Faik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

0
索取号：
作者：Kapetanios、 Epaminondas.、Sugumaran、 Vijayan.、Spiliopoulou、 Myra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.